E : B
{} = B
B